301. Formal Methods and Software Engineering
پدیدآورنده : / Toshiaki Aoki, Kenji Taguchi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
302. Formal Methods and Software Engineering
پدیدآورنده : / Stephan Merz, Jun Pang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
303. Formal Methods and Software Engineering
پدیدآورنده : / Shengchao Qin, Zongyan Qiu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
304. Formal foundations for software engineering methods
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering. ;
305. Formal methods and software engineering :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
306. Formal methods and software engineering. 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. proceedings
پدیدآورنده : ]edited by[ Shengchao Qin, Zongyan Qiu
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، software engineering
307. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
پدیدآورنده : / Kung-Kiu Lau, Richard Banach (eds.),Portion of Title:7th International Conference on Formal Engineering Methods.
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Software engineering--Congresses
رده :
QA76
.
9
.
F67
I57
308. Formal methods in databases and software engineering
پدیدآورنده : V.S.Alagar,Lak V.S.Lakshmann,F.Sadri
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Databases,Software engineering
رده :
QA
76
.
9
.
D32
1993
309. Formal methods in databases and software engineering
پدیدآورنده : V.S.Alagar,Lak V.S.Lakshmann,F.Sadri
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Databases,Software engineering
رده :
QA
76
.
9
.
D32
1993
310. Foundations of software engineering
پدیدآورنده : Ahmed, Ashfaque
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering
رده :
QA
76
.
758
.
A398
2016
311. Fourth IEEE International Symposium and Forum on Software Engineering Standards ]ISESS'99[: ]Best software practices for the internet age[: Curitiba, Brazil, May 17-21, 1999
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Standards-- Congresses ، Software engineering
رده :
QA
76
.
758
.
S648
1999
312. Fourth IEEE International Symposium and Forum on Software Engineering Standards : proceedings
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering, in association witn IEEE Software Engineering Standards Committee ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Standards ، Software engineering
رده :
QA
76
.
758
.
I44
1999
313. Fourth IEEE International Symposium and Forumon : Software Engineering Standards
پدیدآورنده : IEEE International Sym Posium and Forumon )4th: 9991: Curitiba, Brazi(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Compurer Engineering,، Computer Software
رده :
QA
76
.
755
/F6
314. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
پدیدآورنده : International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
315. Fourth international conference on software engineering for
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : TELECOMMUNICATION-SWITCHING SYSTEMS- , TELECOMMUNICATION-DATA PROCESSING- , TELECOMMUNICATION-COMPUTER
رده :
TK
5102
.
5
.
I5
1981
316. Frontiers in software engineering :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
317. Frontiers in software engineering education :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ;
318. Fundamental Approaches to Software Engineering
پدیدآورنده : \ Alexander Egyed, Ina Schaefer (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Programming Languages, Compilers, Interpreters.,Logics and Meanings of Programs.,نرمافزار -- مهندسی -- کنگرهها ,مهندسی نرم افزار ,زبانهای برنامه نویسی
رده :
QA76
.
758
.
F44
2015
E-Book
,
319. Fundamental Approaches to Software Engineering
پدیدآورنده : / David S. Rosenblum, Gabriele Taentzer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
320. Fundamental Approaches to Software Engineering
پدیدآورنده : / Juan Lara, Andrea Zisman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK